Dominio y rango de una relación de A en B